A Structural Entropy Measurement Principle of Propositional Formulas in Conjunctive Normal Form

The satisfiability (SAT) problem is a core problem in computer science. Existing studies have shown that most industrial SAT instances can be effectively solved by modern SAT solvers while random SAT instances cannot. It is believed that the structural characteristics of different SAT formula classes are the reasons behind this difference. In this paper, we study the structural properties of propositional formulas in conjunctive normal form (CNF) by the principle of structural entropy of formulas. First, we used structural entropy to measure the complex structure of a formula and found that the difficulty solving the formula is related to the structural entropy of the formula. The smaller the compressing information of a formula, the more difficult it is to solve the formula. Secondly, we proposed a λ-approximation strategy to approximate the structural entropy of large formulas. The experimental results showed that the proposed strategy can effectively approximate the structural entropy of the original formula and that the approximation ratio is more than 92%. Finally, we analyzed the structural properties of a formula in the solution process and found that a local search solver tends to select variables in different communities to perform the next round of searches during a search and that the structural entropy of a variable affects the probability of the variable being flipped. By using these conclusions, we also proposed an initial candidate solution generation strategy for a local search for SAT, and the experimental results showed that this strategy effectively improves the performance of the solvers CCAsat and Sparrow2011 when incorporated into these two solvers.     

(Sm0.5Gd0.2Nd0.3)2(Hf0.3Ce0.7)2O7复合氧化物的热物理性能

为寻求新型热障涂层用陶瓷材料,本文采用高温固相烧结法制备了(Sm_0.5Gd_0.2Nd_0.3)₂(Hf_0.3Ce_0.7)₂O₇复合氧化物。利用XRD分析了其晶体结构,SEM分析其显微组织,膨胀仪测试其热膨胀性能,激光热导仪测试其热扩散系数。结果表明,成功制备了具有单一萤石晶体结构的(Sm_0.5Gd_0.2Nd_0.3)₂(Hf_0.3Ce_0.7)₂O₇复合氧化物。其显微组织结构致密,晶界清晰无其他相存在。由于复杂的元素组成和较大的原子量,其热导率明显低于7YSZ和Sm₂Ce₂O₇。其较低的热膨胀系数则归因于B位离子较小的离子半径,但其热膨胀系数依然满足热障涂层的要求。     

基于PI法的门源MS6.4地震前震中附近地震热点图像异常变化研究

基于1980年以来青海省和甘肃省区域地震台网的定位地震目录，分析了研究区最小完备震级，选取空间网格尺度为0.2°×0.2°、地震活动异常学习时间段和预测时间段均为3 a，应用图像信息（PI）法，分析了门源M_S6.4地震发生前震中附近地震热点图像的异常变化过程。结果表明，在2013年1月1日至2016年1月1日的预测时间窗内，冷龙岭断裂和祁连山北缘断裂附近存在明显的地震热点，且地震热点图像颜色偏深，发震概率较高，向前滑动至2014年1月1日至2017年1月1日，2015年1月1日至2018年1月1日和2016年1月1日至2019年1月1日3个预测时间窗，此两断裂附近仍存在地震热点，地震热点图像颜色逐渐由深变浅，而门源M_S6.4地震就落在PI法得到的地震热点内。门源M_S6.4地震前存在明显的地震热点，且地震热点相对集中，地震热点图像颜色由深变浅，震后消失；在祁连山北缘断裂附近，地震热点持续存在，分布较集中，地震热点图像颜色也呈由深变浅的过程。未来需关注祁连山北缘断裂，附近有发生强震的可能。     

Coupling characteristics of laterally coupled gratings with slots

Laterally-coupled ridge-waveguide distributed feedback lasers fabricated without epitaxial regrowth steps have the advantages of process simplification and low cost. We present a laterally coupled grating with slots. The slots etched between the ridge and grating area are designed to suppress the lateral diffusion of carriers and to reduce the influence of the aspect-ratio-dependent-etching effect on the grating morphology in the etching process. Moreover, the grating height in this structure can be decreased to lower the aspect ratio significantly, which is advantageous over the conventional laterally coupled ridge waveguide gratings. The effects of five main structural parameters on the coupling characteristics of gratings are studied by MODE Solutions. It is found that varying the lateral width of the grating can be used as an effective way to tune the coupling strength; narrow slots (100 nm and 300 nm) and wide ridge (2 μm-4 μm) promote the stability of grating coupling coefficient and device performance. It is important to note that the grating bottom should be fabricated precisely. The comparative study of carrier distribution and mode field distribution shows that the introduction of narrow slots can strengthen the competitive advantage and stability of the fundamental mode.     

改革开放以来高中化学教科书物质结构内容选择及演变

以1978年改革开放以来人民教育出版社出版的5套高中化学教科书作为研究对象，梳理其物质结构内容的演变，发现近40年来高中化学教科书中物质结构内容选择呈钟摆现象，同时其内容组织的结构化理念日益清晰。此外，为新时期我国高中化学教科书的编写提供了一些建议。     

Experimental and numerical analysis of cylindrical turbulators in a double pipe heat exchanger under turbulent flow conditions

In the present work, the use of cylindrical turbulators in a double pipe heat exchanger has been investigated. Cylindrical fin type of turbulators has been placed circumferentially separated by 90° on the outer side of an inner pipe at a regular pitch. Experimental studies were undertaken for different air flow rates in a turbulent regime whose Reynolds number range between 2500 and 10000. Heat transfer characteristics like Nu and friction factor have been experimentally determined. Parametric studies were conducted by changing the pitch and also the orientation of the turbulators. Nu and friction factor were found to increase as the pitch is reduced. A model with alternatively changed orientation outperformed others by exhibiting highest Nu and reduced friction factor.     

有限群共轭类长度的一点注记

假设G=AB是子群A和B的互相置换积。通过A?B中元素的共轭类长度给出了群G的结构，推广了一些最近的结论。     

明代生命损失型地震的时空分布特征及成因分析

利用史料记录建立了明代生命损失型地震的数据库，构建生命损失型地震等级序列、10 a尺度上生命损失型地震的频次序列和县次序列，再现明代生命损失型地震的时空分布特征，探讨了生命损失型地震发生及导致人口死亡的时空差异原因。结果表明：（1）从明初到明末，生命损失型地震等级强度有逐渐扩大的趋势。（2）明代前期处于生命损失型地震发生较少的稳定时期；明代中后期处于生命损失型地震发生较多的波动时期。明代生命损失型地震发生频次存在明显的周期性变化特征。（3）生命损失型地震在明代大部分区域皆有分布。灾害重心随时间变化发生移动，由西南到中部再到华北、华东。（4）明代地震频繁的原因除地球本身因素外，太阳活动通过影响气候变化，进而间接影响地壳活动。气候寒冷与干旱和地震有较好的对应关系。明代后期生命损失型地震导致死亡人数大量增加，与明代经济发展，人口密度逐渐增长有关；不同地区生命损失型地震导致的死亡人数不同，且死亡人数与地震频发地区是否处于板块之间的活动构造带和人口分布密度有关。     

Scattering coefficients for a sphere in a visco-acoustic medium for arbitrary partial wave order

Analytical solutions are reported for the scattering coefficients of a solid elastic sphere suspended in a viscous fluid for arbitrary partial wave order. Expressions are derived for incident compressional and shear wave modes, taking into account the viscosity of the surrounding fluid and resultant wave mode conversion. The long compressional wavelength limit is employed to simplify the derivation, whereas no restriction is placed on the shear wavelength in the fluid compared to the particle dimension. The analytical approximations are compared with numerical results obtained from matrix inversion of the boundary equations and agree within the validity domain of the solutions.     

强度解调型光纤光栅温度传感实验

光纤光栅在工程上应用广泛,但由于存在解调系统复杂、成本高,尤其是需要使用光纤光谱仪等波长解调仪器,使得光纤光栅很难走入本科教学的实验课堂.本文提出了一种基于窄线宽DFB激光器的强度解调方案,极大地简化了光纤光栅传感器的解调系统,完全满足较高分辨率和实时检测的系统要求.合理安排的温度传感实验可以非常直观地展示光纤光栅的线性传感性能,使得工程化的光纤光栅传感技术轻松走进本科教学课堂,具有极高的推广和应用潜力.